Nuprl Definition : void def 9,38
!Void() is Primitive 
latex

origin